Dividing a decimal number by a natural number